Skip to content

Actions: pindakaashq/pindakaas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
517 workflow runs
517 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prevent cargo_warnings error Run Tests #416: Pull request #106 synchronize by hbierlee
June 1, 2025 14:38 6m 43s hbierlee:fix/cargo-warning-error
hbierlee:fix/cargo-warning-error
June 1, 2025 14:38 6m 43s
Prevent cargo_warnings error CI #53: Pull request #106 synchronize by hbierlee
June 1, 2025 14:38 8m 15s hbierlee:fix/cargo-warning-error
hbierlee:fix/cargo-warning-error
June 1, 2025 14:38 8m 15s
Prevent cargo_warnings error Check Format #143: Pull request #106 synchronize by hbierlee
June 1, 2025 14:38 17s hbierlee:fix/cargo-warning-error
hbierlee:fix/cargo-warning-error
June 1, 2025 14:38 17s
Add conditions argument CI #52: Pull request #102 synchronize by hbierlee
June 1, 2025 14:23 9m 34s hbierlee:feature/add-py-conditions
hbierlee:feature/add-py-conditions
June 1, 2025 14:23 9m 34s
Add conditions argument Run Tests #415: Pull request #102 synchronize by hbierlee
June 1, 2025 14:23 6m 36s hbierlee:feature/add-py-conditions
hbierlee:feature/add-py-conditions
June 1, 2025 14:23 6m 36s
Add conditions argument Check Format #142: Pull request #102 synchronize by hbierlee
June 1, 2025 14:23 19s hbierlee:feature/add-py-conditions
hbierlee:feature/add-py-conditions
June 1, 2025 14:23 19s
fix(pyndakaas): raise exception instead of rust panics (#103) Run Tests #414: Commit 5da8fc7 pushed by Dekker1
June 1, 2025 10:43 6m 41s develop
develop
June 1, 2025 10:43 6m 41s
Raise Unsatisfiable exception i/o panic Check Format #141: Pull request #103 synchronize by Dekker1
June 1, 2025 10:28 21s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
June 1, 2025 10:28 21s
Raise Unsatisfiable exception i/o panic Run Tests #413: Pull request #103 synchronize by Dekker1
June 1, 2025 10:28 6m 39s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
June 1, 2025 10:28 6m 39s
Raise Unsatisfiable exception i/o panic CI #51: Pull request #103 synchronize by Dekker1
June 1, 2025 10:28 12m 13s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
June 1, 2025 10:28 12m 13s
refactor(pyndakaas): simplify internal encoder/constraint matching (#… Run Tests #412: Commit d0c3a72 pushed by Dekker1
June 1, 2025 10:03 6m 40s develop
develop
June 1, 2025 10:03 6m 40s
feat(pyndakaas): add reflected operators for BoolExp, Formula, an… Run Tests #411: Commit 60ee644 pushed by Dekker1
June 1, 2025 09:58 6m 35s develop
develop
June 1, 2025 09:58 6m 35s
Prevent cargo_warnings error Run Tests #410: Pull request #106 opened by hbierlee
May 31, 2025 14:25 6m 38s hbierlee:fix/cargo-warning-error
hbierlee:fix/cargo-warning-error
May 31, 2025 14:25 6m 38s
Prevent cargo_warnings error CI #50: Pull request #106 opened by hbierlee
May 31, 2025 14:25 10m 8s hbierlee:fix/cargo-warning-error
hbierlee:fix/cargo-warning-error
May 31, 2025 14:25 10m 8s
Prevent cargo_warnings error Check Format #140: Pull request #106 opened by hbierlee
May 31, 2025 14:25 17s hbierlee:fix/cargo-warning-error
hbierlee:fix/cargo-warning-error
May 31, 2025 14:25 17s
Simplify match statement Check Format #139: Pull request #105 opened by hbierlee
May 31, 2025 13:42 19s hbierlee:feature/refactor-enc
hbierlee:feature/refactor-enc
May 31, 2025 13:42 19s
Simplify match statement CI #49: Pull request #105 opened by hbierlee
May 31, 2025 13:42 11m 14s hbierlee:feature/refactor-enc
hbierlee:feature/refactor-enc
May 31, 2025 13:42 11m 14s
Simplify match statement Run Tests #409: Pull request #105 opened by hbierlee
May 31, 2025 13:42 8m 14s hbierlee:feature/refactor-enc
hbierlee:feature/refactor-enc
May 31, 2025 13:42 8m 14s
Raise Unsatisfiable exception i/o panic Check Format #138: Pull request #103 synchronize by hbierlee
May 31, 2025 13:35 21s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
May 31, 2025 13:35 21s
Raise Unsatisfiable exception i/o panic CI #48: Pull request #103 synchronize by hbierlee
May 31, 2025 13:35 12m 8s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
May 31, 2025 13:35 12m 8s
Raise Unsatisfiable exception i/o panic Run Tests #408: Pull request #103 synchronize by hbierlee
May 31, 2025 13:35 6m 45s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
May 31, 2025 13:35 6m 45s
Raise Unsatisfiable exception i/o panic CI #47: Pull request #103 synchronize by hbierlee
May 31, 2025 13:31 10m 16s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
May 31, 2025 13:31 10m 16s
Raise Unsatisfiable exception i/o panic Check Format #137: Pull request #103 synchronize by hbierlee
May 31, 2025 13:31 19s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
May 31, 2025 13:31 19s
Raise Unsatisfiable exception i/o panic Run Tests #407: Pull request #103 synchronize by hbierlee
May 31, 2025 13:31 6m 49s hbierlee:feature/raise-unsat-io-panic
hbierlee:feature/raise-unsat-io-panic
May 31, 2025 13:31 6m 49s
Add conditions argument Check Format #136: Pull request #102 synchronize by hbierlee
May 31, 2025 12:32 17s hbierlee:feature/add-py-conditions
hbierlee:feature/add-py-conditions
May 31, 2025 12:32 17s